Especificação do micronúcleo FreeRTOS utilizando o método B

This paper presents a contribution to the international Verified Software Repository effort through the formal specification of the microkernel FreeRTOS real-time system. Such specification was made in abstract level making use of the B method . For thus, properties of the microkernel were chosen and selected as specification requisites, which was constructed centered at the functionalities responsible for the utilization of these properties. This properties weres setting as specification requirements. The specification was constructed modeling the function of microkernel that implement this properties. This work intended to encourage the formal verification of FreeRTOS and also contribute to the formal creation of a microkernel real-time systems, based in FreeRTOS. Furthermore, this model brings a formal documentation point view of the microkernel, demonstrating features and how this internal states is changing. Finally, this work could be an example of specification of the actual system by the B method.

Genotoxicidade e composição do material particulado emitido pela queima de Biomassa: um estudo de caso em Tangará da Serra, Região da Amazônia Brasileira

Tangara da Serra is located on southwestern Mato Grosso and is found to be on the route of pollutants dispersion originated in the Legal Amazon s deforestation area. This region has also a wide area of sugarcane culture, setting this site quite exposed to atmospheric pollutants. The objective of this work was to evaluate the genotoxicity of three different concentrations of organic particulate matter which was collected from August through December / 2008 in Tangara da Serra, using micronucleus test in Tradescantia pallida (Trad-MCN). The levels of particulate matter less than 10μm (MP10) and black carbon (BC) collected on the Teflon and polycarbonate filters were determined as well. Also, the alkanes and polycyclic aromatic hydrocarbons (PAHs) were identified and quantified on the samples from the burning period by gas chromatography detector with flame ionization detection (GC-FID). The results from the analyzing of alkanes indicate an antropic influence. Among the PAHs, the retene was the one found on the higher quantity and it is an indicator of biomass burning. The compounds indene(1,2,3-cd)pyrene and benzo(k)fluoranthene were identified on the samples and are considered to be potentially mutagenic and carcinogenic. By using Trad-MCN, it was observed a significant increase on the micronucleus frequency during the burning period, and this fact can be related to the mutagenic PAHs which were found on such extracts. When the period of less burnings is analyzed and compared to the negative control group, it was noted that there was no significant difference on the micronuclei rate. On the other hand, when the higher burning period is analyzed, statistically significant differences were evident. This study showed that the Trad-MCN was sensible and efficient on evaluating the genotoxicity potencial of organic matter from biomass burning, and also, emphasizes the importance of performing a chemical composition analysis in order to achieve a complete diagnosis on environmental risk control

Avaliação do potencial genotóxico e citotóxico associado a queima artesanal da castanha de caju no Município de João Câmara

The Brazil is the third largest producer of cashew nuts in the world. Despite the social and economic importance of the cashew nut, its production is still carried out artisanally. One of the main problems encountered in the cashew production chain are the conditions under which the roasting of the nut occurs to obtain the kernel from the shell. In the present study was conducted a biomonitoring of the genotoxic and cytotoxicity effects associated with the elements from the cashew nut roasting in João Câmara - RN, semi-arid region of Brazil. To assess the genotoxic was used the bioassay of micronucleus (MN) in Tradescantia pallida. In addition, it was performed a comparative between the Tradescantia pallida and KU-20 and other biomarkers of DNA damage, such as the nucleoplasmic bridges (NBP) and nuclear fragments (NF) were quantified. The levels of particulate matter (PM1.0, PM2.5, PM10) and black carbon (BC) were also measured and the inorganic chemical composition of the PM2.5 collected was determined using X-ray fluorescence spectrometry analysis and the assessment of the cytotoxicity by MTT assay and exclusion method by trypan blue. . For this purpose, were chosen: the Amarelão community where the roasting occurs and the Santa Luzia farm an area without influence of this process. The mean value of PM2.5 (Jan 2124.2 μg/m3; May 1022.2 μg/m3; Sep 1291.9 μg/m3) and BC (Jan 363.6 μg/m3; May 70.0 μg/m3; Sep 69.4 μg/m3) as well as the concentration of the elements Al, Si, P, S, Cl, K, Ca, Ti, Cr, Mn, Fe, Ni, Cu, Zn, Se, Br and Pb obtained at Amarelão was significantly higher than at Santa Luzia farm. The genotoxicity tests with T. pallida indicated a significant increase in the number of MN, NBP and NF and it was found a negative correlation between the frequency of these biomarkers and the rainfall. The concentrations of 200 μg/mL and 400 μg/mL of PM2.5 were cytotoxic to MRC-5 cells. All together, the results indicated genotoxicity and citotoxicity for the community of Amarelão, and the high rates of PM2.5 considered a potential contributor to this effect, mainly by the high presence of transition metals, especially Fe, Ni, Cu, Cr and Zn, these elements have the potential to cause DNA damage. Other nuclear alterations, such as the NPBs and NFs may be used as effective biomarkers of DNA damage in tetrads of Tradescantia pallida. The results of this study enabled the identification of a serious occupational problem. Accordingly, preventative measures and better practices should be adopted to improve both the activity and the quality of life of the population. These measures are of fundamental importance for the sustainable development of this activity.

Análise da estabilidade genética de células-tronco mesenquimais humanas

Human multipotent mesenchymal stromal cells (MSCs), also known as mesenchymal stem cells, have become an important and attractive therapeutic tool since they are easily isolated and cultured, have in vitro expansion potential, substantial plasticity and secrete bioactive molecules that exert trophic effects. The human umbilical cord as a cell source for cell therapy will help to avoid several ethical, political, religious and technical issues. One of the main issues with SC lines from different sources, mainly those of embryonic origin, is the possibility of chromosomal alterations and genomic instability during in vitro expansion. Cells isolated from one umbilical cord exhibited a rare balanced paracentric inversion, likely a cytogenetic constitutional alteration, karyotype: 46,XY,inv(3)(p13p25~26). Important genes related to cancer predisposition and others involved in DNA repair are located in 3p25~26. Titanium is an excellent biomaterial for bone-implant integration; however, the use can result in the generation of particulate debris that can accumulate in the tissues adjacent to the prosthesis, in the local bone marrow, in the lymph nodes, liver and spleen. Subsequently may elicit important biological responses that aren´t well studied. In this work, we have studied the genetic stability of MSC isolated from the umbilical cord vein during in vitro expansion, after the cryopreservation, and under different concentrations and time of exposition to titanium microparticles. Cells were isolated, in vitro expanded, demonstrated capacity for osteogenic, adipogenic and chondrogenic differentiation and were evaluated using flow cytometry, so they met the minimum requirements for characterization as MSCs. The cells were expanded under different concentrations and time of exposition to titanium microparticles. The genetic stability of MSCs was assessed by cytogenetic analysis, fluorescence in situ hybridization (FISH) and analysis of micronucleus and other nuclear alterations (CBMN). The cells were able to internalize the titanium microparticles, but MSCs preserve their morphology, differentiation capacity and surface marker expression profiles. Furthermore, there was an increase in the genomic instability after long time of in vitro expansion, and this instability was greater when cells were exposed to high doses of titanium microparticles that induced oxidative stress. It is necessary always assess the risks/ benefits of using titanium in tissue therapy involving MSCs, considering the biosafety of the use of bone regeneration using titanium and MSCs. Even without using titanium, it is important that the therapeutic use of such cells is based on analyzes that ensure quality, security and cellular stability, with the standardization of quality control programs appropriate. In conclusion, it is suggested that cytogenetic analysis, FISH analysis and the micronucleus and other nuclear alterations are carried out in CTMH before implanting in a patient

Adesão, proliferação e genotoxicidade celular de celulose bacteriana modificada por plasma

Bacterial cellulose (BC) has a wide range of potential applications, namely as temporary substitute skin in the treatment of skin wounds, such as burns, ulcers and grafts. Surface properties determine the functional response of cells, an important factor for the successful development of biomaterials. This work evaluates the influence of bacterial cellulose surface treatment by plasma (BCP) on the cellular behavior and its genotoxicity potential. The modified surface was produced by plasma discharge in N2 and O2 atmosphere, and the roughness produced by ion bombardment characterized by scanning electron microscopy (SEM) and atomic force microscopy (AFM). Cell adhesion, viability and proliferation on BCP were analysed using crystal violet staining and the 3-[4,5-dimethylthiazol-2-yl]-2,5-diphenyl-tetrazolium (MTT) method. Genotoxicity was evaluated using the comet and cytokinesis block micronucleus assay. The results show that the plasma treatment changed surface roughness, producing an ideal cell attachment, evidenced by more elongated cell morphology and improved proliferation. The excellent biocompatibility of BCP was confirmed by genotoxicity tests, which showed no significant DNA damage. The BCP has therefore great potential as a new artificial implant

Avaliação da genotoxicidade e da qualidade das águas do açude de Lucrécia/RN

The occurrence of human cancer in the municipality of Lucrécia (RN, Brazil) has shown high frequencies (INCA, 2007). Tests of micronucleus (MN) and nuclear abnormalities (NA) were performed to assess the genotoxic potential of water from the Lucrécia dam, which is located in a semi-arid region under the influence of crop irrigation and irregular rainfall. Water samples were collected in this source for analyzing the concentration of cyanobacteria, metals and radioactivity. Erythrocytes of Nile tilapia (Oreochromis niloticus) were collected in dam and cells of human oral mucosa in the urban area of this municipality for the bioassays of MN and NA. In fish were also analyzed concentrations of metals in samples of liver and gills. The genotoxicity tests with biological samples of fish and humans have shown significant increases in the frequencies of MN and NA (p ≤ 0.05) and are indicative of increased DNA damage in relation to the control groups. In conclusion, the results obtained from water samples and biological municipality of Lucrécia indicates that the presence of chemical and microbiological pollutants, and increase of genotoxic in human of this municipality. We suggest the implementation of advanced water treatment, to prevent further degradation of the aquatic environment and decrease in the life quality. This research of environmental quality assessment was performed in order to contemplate a multi and interdisciplinary character of this water resource and that can induce genotoxic damage in the organisms in this study region

Análise da presença de agentes mutagênicos nas águas do Rio Pitimbú/RN

The Pitimbu River is located at the oriental portion of the State of Rio Grande do Norte, including three importants cities named Macaíba, Parnamirim e Natal. Although its high importance as a water source, which supplys great part of the South Zone of the Natal city, this river receives a large quantity of domestic and industrial waste water without treatment. The Pitimbu River headhas its river-head located in the city of Macaiba, goes through Parnamirim, then it flowing into at the Jiqui Lake in Natal. The aim of this study was to evaluate, qualitatively and quantitatively, the environmental quality of the Pitimbu River by genotoxicity bio-assays, which are important tools for genetics toxicological evaluation. In this work, five samples sites, distributed along the river, were used to collect water samples. Another point site, located near Jiqui lake, was used to collect drinkable water, which was treated by CAERN, the water treatment entreprise of Rio Grande do Norte. The following assays where used to evaluate the quality of these samples: Allium cepa assay; Comet assay; Micronuclei (MN) assay; and Ames test. For the Allium cepa assay, sixteen specimes where used for each water sample from the sample sites. In this assay both microscopic, like cytogenetic damage, and macroscopic aspects, as morphological variation were evaluated. Red blood cells from periferical blood of the Crenicichla menezesi native specie were used not only for the MN assay, but also for the Comet assay. These fishes were collected at different points on the Pitimbu River and the negative control was developed using fishes of the same species that were bring to the laboratory and maintained for 100 days in the optimal experimental conditions. For the Ames test, TA100, YG1042, TA98 and YG1041 strains were used in the directed method without metabolic activation. The results found by the Allium cepa assay showed that two water sample sites induced increase of mitotic index (IM). Additionally, compared to the control, all the water samples increased the chromossomal aberrations frequency and/or micronucleus. Among the sample sites, two also showed an abnormal growth rate in its root and two samples induced morphological alteration. With the MN test in red blood cells, a high frequence of MN was observed in tree sample. By comparing all the results obtained on the water sample points and with the negative control, a significant variation on the MN frequency was observed. Positive results were also observed for the same sample to water test by the Comet assay. These results allow concluding that the proposed specie Crenicichla menezesi has a good profile as a bio-indicator for the evaluation of environmental water quality and the MN and comet test can be usuful for in situ evaluation. By the Ames test, it was possible to detect the mutagenic activity on the waters from the Pitimbu River in different levels of mutagenicity. This result suggests that this river has several substances that induced changes directly to the DNA. The mechanisms involved to this phenomenon could be by both processes, by changing of the reading frame and by nucleotide substitution. These data set indicate the presence of mutagenic agents, which can represent in risk to biot and human beens

Análise do potencial genotóxico da superfície de titânio modificada por plasma

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Análise da genotoxicidade das águas da Lagoa da Extremoz - RN

The contamination of the waters resources for wastewater from industrial, agricultural, and domestic sources is a serious environment problem, compromising its use for human consumption and agriculture. The Extremoz-RN Lake is an important freshwater source for the supply of the city of Natal, supplying a population of approximately 160,000 habitants. This aquatic body is located near an industrial pole which can be a serious risk factor for quality of its waters. The objectives of this study were examined the genotoxicity of Extremoz Lake between September of 2006 and January of 2008, by a combination of the Allium micronucleus test, piscine micronucleus test and the comet assay in erythrocytes from peripheral blood of Oreochromis niloticus. Additionally, the level of eight different heavy metals was quantified through spectrometry of atomic absorption of flame. The Allium test did not detect increase in the frequencies of micronucleus in none of the analyzed periods, however a strong cytotoxic activity was demonstrated for decrease in mitotic index in the analyses carried in April and July of 2007. Negative results had been detected in the frequencies of micronucleus in O. niloticus. A statistic significant increase was observed in the levels of DNA damage in comet assay carried in July of 2007. The results of the chemical analysis had detected increase in the levels of cadmium, chromium, copper, nickel, lead and zinc in different periods. These results demonstrated an alteration of the water s quality of the Extremoz Lake caused for the contamination for heavy metals and increase of DNA strand breaks. The use of biomonitoring program of the heavy metal and other pollutants with genotoxic potential combinated with genotoxicity assays is recommends.

Avaliação da genotoxicidade das águas do lençol freático sob a Universidade Federal do Rio Grande do Norte

The groundwater represents the most important freshwater supply of planet. Dailly, in all world a great amount of toxic and genotoxic material reaches the aquatic systems, mainly the aquifers. The Barreiras aquifer through of five water wells is responsible for the supplying of Universidade Federal do Rio Grande do Norte (UFRN). All water wells are polluted with nitrate and some heavy metals, two of them were disabled. The genotoxicity of groundwater samples from Barreiras Aquifer in UFRN was assessed using the Allium cepa test, the Ames test and the Salmonella typhymurium microsuspension test (Kado test). For the Allium cepa test the influence of the groundwater samples collected on macroscopic (root length, colour and form) and microscopic (root tip mitotic index, chromosome aberrations and micronucleus) parameters was examined. All water samples caused a significant increase of the chromosome and mitotic aberration frequency and reduction on the rooth growth compared to negative control. Bridges and chromosome stickness were the most frequent kind of aberration in dividing cells. Furthermore, breaks were also observed. No significant increase in the number of micronuclei was found in relation to the negative controls. For Ames test were used the Salmonella typhymurium strains TA98 and TA100 without metabolic activation, applying the direct method. Prior to the Kado test, organic fractions from the water samples were obtained through XAD resin concentration. The mutagenicity organic extracts were evaluated by Kado test using TA98 and TA100 strains, in the absence and presence of S9 mix (metabolic activation). The concentrations of seven heavy metal ions were measured in water samples, but only Ni, Cu and Cr levels exceeded the permissible maximum concentration for the natural reservoirs. The results obtained for mutagenic activity using the Ames test were negative in all raw water samples analyzed. Positive results in XAD4 extracts of water samples were obtained for TA98 in the presence of S9 mix for two stations. Concentrations of heavy metals and nitrate can be correlated with the toxicity and genotoxicity of water analyzed. The mutagenic effect detected with TA98 strain suggested that organic compounds (after metabolization) are involved with the mutagenicity detected in the samples analyzed. The data set obtained in this work indicated the presence of at least two classes of mutagens: organic and inorganic compounds

Avaliação da genotoxicidade das águas sueprficiais da Barragem Engenheiro Armando Ribeiro Gonçalves, Assu/RN

Conselho Nacional de Desenvolvimento Científico e Tecnológico

Avaliação do potencial mutagênico da água do açude de Lucrécia (RN- Brasil): um enfoque na relação saúde e ambiente

The water quality of many reservoirs in the world has been reduced due to percolation of contaminants to water, which can have natural or anthropogenic origin, increasing the level of genotoxic compounds in aquatic ecosystems. This fact has contributed to the reduction of environmental quality, and commitment the health of living beings that inhabit these ecosystems, including the human population. In this backdrop of reduced water quality, is the Lucrecia dam, which is a major surface water reservoirs by volume of semi-arid region of Rio Grande do Norte, and that has shown contamination by heavy metals, cyanobacteria toxic and the natural presence of Radon. The population that use this source has been showing high rates of cancer, popularly associated with the consumption of this water, with a prevalence about three times higher compared to the whole state of Rio Grande do Norte. Based on this, the present study aimed to evaluate the mutagenic potencial of surface water from the Lucrecia dam, using the Micronucleus Test in Tradescantia pallida (Trad-MN) and in human peripheral blood lymphocytes (CBMN) assay, as well as identify the concentrations of some heavy metals in this water. Water samples were collected on a dry season and a rainy season, in two distinct points. Moreover, in order to bring a completely view about the relationship of man-health-environment in this local, through the knowledge of knowing / acting environmental from residents of Lucrecia, and the use and perceptions they have about the dam of your city, a study of Environmental Perception was carried out with local residents. The results obtained for the both micronucleus test, showed significant results for the three points analyzed. The strongest mutagenic effect was observed in the dry season for both assays. Chemical analyses detected an increase of heavy metal levels in different points and season above the maximum allowed by legislation. Regarding the study of Environmental Perception with local residents, it was observed the knowledge of the environment that the residents have, as well as the strong ties and perceptions with the dam of the city. Thus, the combination of these two aspects (the genetic toxicity tests conducted in the dam together with analysis of environmental perception with the residents of Lucrecia) allowed to draw a more complete diagnosis on the local situation

Avaliação do risco ocupacional de trabalhadores expostos a agrotóxicos no município de Touros/Rio grande do Norte

The use of pesticides is being used intensively with severe consequences for exposed farmers. This study aimed to describe the socioeconomic and health profiles of 60 farmers in the city of Touros / RN through the questionnaire recommended by: (International Commission for Protection against Environmental Mutagens and Carcinogens (ICPEMC). The analysis of these data allowed to prove the importance of knowledge about the socioeconomic and health profile of rural farmers as a way to understand the reality of this population, that is vulnerable to exposure due to the lack of knowledge and conditions. Aiming to analyze the frequency of micronucleus (MN) and other nuclear abnormalities in oral mucosa cells of 54 farmers that work in the city of Touros / RN it was applied the micronucleus test (MN) in oral mucosa. Our results showed an increased frequency of MN and other nuclear abnormalities related to the exposure and effects of pesticides on health. Based on the results, it is clear that farmers are using pesticide in the wrong way and compromising their health. A Cordel has been developed as a method to taking the results to the people affected by the pesticides. Therefore this study alerts to the need for profound changes in the social, cultural and health context to reduce health risks for both people and for the environment

Genotoxicidade e composição do material particulado emitido pela queima de Biomassa: um estudo de caso em Tangará da Serra, Região da Amazônia Brasileira

Tangara da Serra is located on southwestern Mato Grosso and is found to be on the route of pollutants dispersion originated in the Legal Amazon s deforestation area. This region has also a wide area of sugarcane culture, setting this site quite exposed to atmospheric pollutants. The objective of this work was to evaluate the genotoxicity of three different concentrations of organic particulate matter which was collected from August through December / 2008 in Tangara da Serra, using micronucleus test in Tradescantia pallida (Trad-MCN). The levels of particulate matter less than 10μm (MP10) and black carbon (BC) collected on the Teflon and polycarbonate filters were determined as well. Also, the alkanes and polycyclic aromatic hydrocarbons (PAHs) were identified and quantified on the samples from the burning period by gas chromatography detector with flame ionization detection (GC-FID). The results from the analyzing of alkanes indicate an antropic influence. Among the PAHs, the retene was the one found on the higher quantity and it is an indicator of biomass burning. The compounds indene(1,2,3-cd)pyrene and benzo(k)fluoranthene were identified on the samples and are considered to be potentially mutagenic and carcinogenic. By using Trad-MCN, it was observed a significant increase on the micronucleus frequency during the burning period, and this fact can be related to the mutagenic PAHs which were found on such extracts. When the period of less burnings is analyzed and compared to the negative control group, it was noted that there was no significant difference on the micronuclei rate. On the other hand, when the higher burning period is analyzed, statistically significant differences were evident. This study showed that the Trad-MCN was sensible and efficient on evaluating the genotoxicity potencial of organic matter from biomass burning, and also, emphasizes the importance of performing a chemical composition analysis in order to achieve a complete diagnosis on environmental risk control

Avaliação do potencial genotóxico e citotóxico associado a queima artesanal da castanha de caju no Município de João Câmara

The Brazil is the third largest producer of cashew nuts in the world. Despite the social and economic importance of the cashew nut, its production is still carried out artisanally. One of the main problems encountered in the cashew production chain are the conditions under which the roasting of the nut occurs to obtain the kernel from the shell. In the present study was conducted a biomonitoring of the genotoxic and cytotoxicity effects associated with the elements from the cashew nut roasting in João Câmara - RN, semi-arid region of Brazil. To assess the genotoxic was used the bioassay of micronucleus (MN) in Tradescantia pallida. In addition, it was performed a comparative between the Tradescantia pallida and KU-20 and other biomarkers of DNA damage, such as the nucleoplasmic bridges (NBP) and nuclear fragments (NF) were quantified. The levels of particulate matter (PM1.0, PM2.5, PM10) and black carbon (BC) were also measured and the inorganic chemical composition of the PM2.5 collected was determined using X-ray fluorescence spectrometry analysis and the assessment of the cytotoxicity by MTT assay and exclusion method by trypan blue. . For this purpose, were chosen: the Amarelão community where the roasting occurs and the Santa Luzia farm an area without influence of this process. The mean value of PM2.5 (Jan 2124.2 μg/m3; May 1022.2 μg/m3; Sep 1291.9 μg/m3) and BC (Jan 363.6 μg/m3; May 70.0 μg/m3; Sep 69.4 μg/m3) as well as the concentration of the elements Al, Si, P, S, Cl, K, Ca, Ti, Cr, Mn, Fe, Ni, Cu, Zn, Se, Br and Pb obtained at Amarelão was significantly higher than at Santa Luzia farm. The genotoxicity tests with T. pallida indicated a significant increase in the number of MN, NBP and NF and it was found a negative correlation between the frequency of these biomarkers and the rainfall. The concentrations of 200 μg/mL and 400 μg/mL of PM2.5 were cytotoxic to MRC-5 cells. All together, the results indicated genotoxicity and citotoxicity for the community of Amarelão, and the high rates of PM2.5 considered a potential contributor to this effect, mainly by the high presence of transition metals, especially Fe, Ni, Cu, Cr and Zn, these elements have the potential to cause DNA damage. Other nuclear alterations, such as the NPBs and NFs may be used as effective biomarkers of DNA damage in tetrads of Tradescantia pallida. The results of this study enabled the identification of a serious occupational problem. Accordingly, preventative measures and better practices should be adopted to improve both the activity and the quality of life of the population. These measures are of fundamental importance for the sustainable development of this activity.